Nuprl Definition : list def
12,41
postcript
pdf
type
List is Primitive
latex
origin